Capturing Periodic Concurrent Interactions of Mission Computer Tasks
نویسندگان
چکیده
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Aviation systems often need to be modijied or upgraded on a regular basis, i.e. functionality and timing constraints may be altered. Therefore, the formal specijication of such systems needs to be easily reused, maintained and modijied. This paper demonstrates how the task scheduling aspects of an aircraft mission computer can be formalised in TCOZ.
منابع مشابه
Capturing Concurrent Interactions of Mission Computer Tasks
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Aviation systems often need to be modified or upgraded on a regular basis, ...
متن کاملA Joint Semantic Vector Representation Model for Text Clustering and Classification
Text clustering and classification are two main tasks of text mining. Feature selection plays the key role in the quality of the clustering and classification results. Although word-based features such as term frequency-inverse document frequency (TF-IDF) vectors have been widely used in different applications, their shortcoming in capturing semantic concepts of text motivated researches to use...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملTask-execution scheduling schemes for network measurement and monitoring
Measurement is a required process in high performance networks for efficient quality-of-service (QoS) provisioning and service verification. Active measurement is an attractive approach because the measurement traffic injected into the network can be controlled and the measurement tasks can be distributed throughout the network. However, the execution of measurement tasks in common parts of a n...
متن کاملPanel Synopsis - How (In)Adequate is One Time Testing?
While the topics of periodic and concurrent testing have been well researched in the literature, and techniques developed and deployed in mission critical systems for several years, the need for incorporating these techniques into nanometer technology chips is being felt now. Contrary to common belief, the need for periodic testing may exist even today and we may be missing failures during norm...
متن کامل